A direct proof of the confluence of combinatory strong reductionDAVID, René.Theoretical computer science. 2009, Vol 410, Num 42, pp 4204-4215, issn 0304-3975, 12 p.Article

A short proof that adding some permutation rules to β preserves SNDAVID, René.Theoretical computer science. 2011, Vol 412, Num 11, pp 1022-1026, issn 0304-3975, 5 p.Article

Problèmes de définissabilité en théorie des ensembles = Definissability problems in set theoryDAVID, René.1980, Pag. multThesis

Contribution à l'étude du test aléatoire de mémoires RAM = Study of the random test of RAM memoryFUENTES, Antoine; DAVID, René.1986, 110 pThesis

General rules for prediction of the intensity of micromixing effects on precipitationsDAVID, René.Powder technology. 2001, Vol 121, Num 1, pp 2-8, issn 0032-5910Conference Paper

Contribution au Concept de Micro-Monde pour l'Enseignement Assisté par Ordinateur = Contribution to the Micro-World Concept for Computer Assisted EducationGIBAUD, Olivier; DAVID, René.1993, 402 p.Thesis

Derivation of supersaturation and nucleation flux during precipitation from the mixing pattern of an inert tracer in the same device: case of unmixed feed streamsDAVID, René; FALL, Ahmed; LECOQ, Olivier et al.Chemical engineering science. 2003, Vol 58, Num 13, pp 2883-2891, issn 0009-2509, 9 p.Article

Validation of a model for multiple agglomerationCAMEIRAO, Ana; ESPITALIER, Fabienne; DAVID, René et al.Chemical engineering & technology. 2006, Vol 29, Num 2, pp 171-174, issn 0930-7516, 4 p.Conference Paper

Rapport d'activité de l'AFAST 1984 = AFAST progress report 1984LAFFITTE, Pierre; DAVID, René; VERGNAUD, Joël et al.1985, 19 p.Report

Modelling of multiple-mechanism agglomeration in a crystallization processDAVID, René; PAULAIME, Anne-Margot; ESPITALIER, Fabienne et al.Powder technology. 2003, Vol 130, Num 1-3, pp 338-344, issn 0032-5910, 7 p.Conference Paper

Preuves de totalité de fonctions : mesures ordinales, application au système de Boyer-Moore = Termination proofs of functions with ordinal measures. An application to the Boyer-Moore systemMonin, François; David, René.1995, 95 p.Thesis

Un calcul de substitution avec étiquettes = A substitution calculus with labelsGuillaume, Bruno; David, Rene.1999, 96 p.Thesis

CONFLUENCE EN λμ-CALCUL = CONFLUENCE IN λμ-CALCULUSPy, Walter; David, Rene.1998, 117 p.Thesis

Opérateurs de mise en mémoire en lambda-calcul pur et typé = Storage operators in pure and typed lambda-calculusNour, Karim; David, René.1993, 202 p.Thesis

Sur la modélisation et l'évaluation de performances de lignes de fabrication non-homogènes = Modelling and performance evaluation of non-homogeneous transfer linesAlvarez-Vargas, Rogelio; David, René.1992, 116 p.Thesis

Développement d'une méthode de mesure de fluctuations de concentration par spectroscopie de fluorescence à hautes résolutions spatiale et temporelle = Development of a measurement method of concentration fluctuations by fluorescence spectroscopie with high spatial and temporal resolutionsAndre, Christophe; David, René.1991, 127 p.Thesis

Evaluation des performances d'un réseau de files d'attente à capacité limitée = Performance evaluation of a queueing network with finite capacitiesBouhchouch, Abdellatif; Frein, Yannick; David, René et al.1992, 173 p.Thesis

Modélisation de systèmes à événements discrets sujets à des pannesPierrat, Jean-Jacques; David, René.1987, 102 p.Thesis

Optimal calculation of residuals for ARMAX models with application to model verificationKNUDSEN, T.European journal of control. 1997, Vol 3, Num 3, pp 235-246, issn 0947-3580Conference Paper

Modélisation et évaluation de performances de systèmes de production gérés en Kanban = Modeling and performance evaluation of Kanban systemsDi Mascolo, Maria; Frein, Yannick; David, René et al.1990, 163 p.Thesis

Flexible transmission system controlled by modal dynamic feedbackLE GORREC, Y; MAGNI, J.-F; CHIAPPA, C et al.European journal of control. 1997, Vol 3, Num 3, pp 227-234, issn 0947-3580Conference Paper

Robust fault diagnosis with a two-stage Kalman estimatorSUMMERER, L; KELLER, J. Y; DAROUACH, M et al.European journal of control. 1997, Vol 3, Num 3, pp 247-252, issn 0947-3580Conference Paper

Bioelectrical impedance and strength measurements in patients with heart failure : comparison with functional classMARTINEZ, Lilia Castillo; RAMIREZ, Eloisa Colin; OREA TEJEDA, Arturo et al.Nutrition (Burbank, Los Angeles County, Calif.). 2007, Vol 23, Num 5, pp 412-418, issn 0899-9007, 7 p.Article